2 402 202 книги
Поиск
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics (Oxford Logic Guides, Volume 48)
Автор:
Laura Crosilla
, Автор:
Peter Schuster
Категория:
Математика
,
Геометрия и топология
Размер книги: 1.62 Mb
From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics
Автор:
Laura Crosilla
, Автор:
Peter Schuster
Размер книги: 5.27 Mb
From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics (Oxford Logic Guides)
Автор:
Laura Crosilla
, Автор:
Peter Schuster
Размер книги: 5.40 Mb
